finite progression series

[数] 有限级数